Modelling common cause failures of large digital I&C systems with coloured Petri nets

Résumé L’objet de cette étude est la représentation des Défaillances de Cause Commune (DCC) dans les systèmes programmés de grande taille. Le système considéré est représentatif du contrôle-commande d’une centrale nucléaire. Le modèle retenu de DCC est le modèle d’Atwood. En effet, il permet de représenter les défaillances indépendantes, les défaillances communes non létales pour certains composants du système et les défaillances communes létales pour tous. Pour cette étude, le modèle a été modifié pour « orienter » les DCC non létales sur certaines parties du système et ainsi prendre en compte les différentes origines possibles des DCC. La maintenance et les réparations sont prises en compte dans le modèle. La représentation du système doit donc être dynamique. La principale évaluation des résultats est probabiliste, la grandeur considérée est la probabilité de défaillance à la sollicitation (PFD). Une comparaison est faite entre l’estimateur de la PFD prenant en compte toutes les défaillances, la « PFD référence », et l’estimateur ne prenant en compte que les défaillances détectées, la « PFD visible ».